separably generated extension

可分生成扩张